void testNot(){
    assert( ! false);
}
